Een nauwelijks bekende ontbinding in factoren.
Als je de opdracht krijgt om a4 + b4 te ontbinden in factoren dan
zullen de meesten die een beetje verstand hebben van wiskunde,
jou vertellen, dat het niet kan, omdat de som van twee kwadraten
niet ontbonden kan worden en a4 en a4 zijn zeker een kwadraat.
We trekken de stoute schoenen aan en doen een gok. Stel dat het als volgt zou lukken.
(a2 - pab + b2)(a2 + pab + b2). Daarbij is p een nader te bepalen getal.
Nu maar hopen, dat er een aantal termen zullen wegvallen.
Noem de tweede factor even F. Dan is (a2 + pab + b2) = F.
(a2 - pab + b2)(a2 + pab + b2) =
(a2 - pab + b2)F =
a2F - pabF + b2F =
a2(a2 + pab + b2) - pab(a2 + pab + b2) + b2(a2 + pab + b2) =
(a4 + pa3b + a2a2) - (pa3b + p2a2b2 + pab3) + (a2b2 + pab3 + b4)
De F was niet nodig maar kon helpen.
Veel haakjes waren overbodig. Ze zijn echter voor de duidelijkheid geplaatst.
De laatste negenterm kunnen we gelukkig behoorlijk vereenvoudigen:
a4 + a2b2 - p2a2b2 + a2b2 + b4 =
a4 + (2-p2)a2b2 + b4
Als we willen, dat dit steeds gelijk is aan a4+ b4 dan moet p2 = 2 zijn.
De ontbinding lukt dan als p = √2 of als p = -√2 is.
Samenvatting van de ontbinding:
a4 + b4 = (a2 - ab√2 + b2)(a2 + ab√2 + b2)
Dit zal voor velen een verrassing zijn.
Een snellere methode.
a4 + b4 =
a4 + 2(ab)2 + b4 - 2(ab)2 =
(a2 + b2)2 - (ab√2)2 =
(a2 - ab√2 + b2)(a2 + ab√2 + b2)
Hier wordt niet besproken, of de gevonden factoren verder te ontbinden zijn.
Hogere machten van a en b
Ook juist is a4n + b4n = (a2n - (ab)n √2 + b2n)(a2n + (ab)n √2 + b2n)
De n is een natuurlijk getal.